Lisp programming language - PDFSEARCH.IO - Document Search Engine

Lisp programming language
Results: 1064

#	Item
51	Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-05-11 21:04:51 Functional languages Lisp programming language String Racket Technical communication Scheme Here document Literate programming Eval Computing Software engineering Computer programming
52	Actor Induction and Meta-evaluation Add to Reading List Source URL: www.cypherpunks.to Language: English - Date: 2008-03-14 04:28:15 Lisp programming language Data types Models of computation Cons Functional programming Lisp Closure List Factorial Software engineering Computing Computer programming
53	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming
54	Lisp-in-Lisp: High Performance and Portability Rodney A. Brooks Richard P. Gabriel Guy L. Steele Jr. 1. Introduction Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:56:02 Functional languages Lisp programming language Lisp NIL Interlisp Maclisp Interpreter Genera Compiler Computing Software engineering Computer programming
55	Richard Paul Gabriel Address: 3636 Altamont Way Redwood City, CATelephone: Voice: ( Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2014-08-27 17:13:50 Lisp programming language Lisp OOPSLA Guy L. Steele Jr. Ralph Johnson Lucid Inc. Richard P. Gabriel SIGPLAN Linda Rising Computing Software engineering Computer programming
56	Genera 8.1 Software Installation Guide for 3600 Family Machines CD-ROM Distribution Media for All Sites All sites who requested CD-ROM distribution media receive the following: • Symbolics Genera 8.1, all platforms, 1 Add to Reading List Source URL: www.ugcs.caltech.edu Language: English - Date: 2007-09-20 23:26:53 Computer workstations Lisp programming language Genera Symbolics NetBoot Lisp machine Booting ISO File system Computing Software Classes of computers
57	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-07-24 12:05:06 Lisp programming language Logic in computer science Programming language semantics Reduction strategy Predicate logic Operational semantics Robert Bruce Findler Free variables and bound variables Eval Programming language theory Software engineering Computing
58	Lisp in Summer Projects Submission Submission Date:47:17 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Lisp programming language Functional languages Cross-platform software Common Lisp Scripting languages Lisp JavaScript Subroutine Parameter Software engineering Computer programming Computing
59	On Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Functional programming Lisp programming language Higher-order functions Data types Recursion Append Fold List Map Software engineering Computing Computer programming
60	Synthesis Modulo Recursive Functions Etienne Kneuss1 Viktor Kuncak1 Ivan Kuraj1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 08:18:41 Data types Lisp programming language Functional programming Recursion Computability theory ALGOL 68 Function Fold Algebraic data type Software engineering Computer programming Computing